TINELLI, CESARE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An efficient SMT solver for string constraints

Liang, Tianyi, Reynolds, Andrew, Tsiskaridze, Nestan, Tinelli, Cesare, Barrett, Clark, Deters, Morgan

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 1.42 MB

english, 2016

2

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Strong Explanations for Nonmonotonic Reasoning

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 272 KB

english, 2019

3

The model evolution calculus as a first-order DPLL method

Peter Baumgartner, Cesare Tinelli

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 452 KB

english, 2008

4

Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

5

Design, modeling, synthesis and biological activity evaluation of camptothecin-linked platinum anticancer agents

Cincinelli, Raffaella, Musso, Loana, Dallavalle, Sabrina, Artali, Roberto, Tinelli, Stella, Colangelo, Donato, Zunino, Franco, De Cesare, Michelandrea, Beretta, Giovanni Luca, Zaffaroni, Nadia

Journal:

European Journal of Medicinal Chemistry

Year:

2013

Language:

english

File:

PDF, 1.33 MB

english, 2013

6

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) ||

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 16.95 MB

english, 2019

7

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Pseudo-contractions as Gentle Repairs

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 458 KB

english, 2019

8

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Explaining Axiom Pinpointing

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 395 KB

english, 2019

9

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || The What-To-Ask Problem for Ontology-Based Peers

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 563 KB

english, 2019

10

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 328 KB

english, 2019

11

[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Initial Steps Towards a Family of Regular-Like Plan Description Logics

Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Year:

2019

Language:

english

File:

PDF, 465 KB

english, 2019

12

Preface to the Special Issue on Automated Reasoning Systems

Biere, Armin, Tinelli, Cesare, Weidenbach, Christoph

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 178 KB

english, 2019

13

An Abstract Decision Procedure for a Theory of Inductive Data Types

Barrett, Clark, Shikanian, Igor, Tinelli, Cesare, Cook, Byron, Sebastiani, Roberto

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 347 KB

2007

14

Clinical impact of a new automated system employed for peripheral blood stem cell collection

Claudia Del Fante, Cesare Perotti, Gianluca Viarengo, Laura Bellotti, Cristina Parisi, Andrea Marchesi, Carmine Tinelli, Laura Salvaneschi

Journal:

Journal of Clinical Apheresis

Year:

2006

Language:

english

File:

PDF, 165 KB

english, 2006

15

An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 311 KB

english, 2007

16

Preface

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 70 KB

english, 2005

17

Computing finite models by reduction to function-free clause logic

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 215 KB

english, 2009

18

Unions of non-disjoint theories and combinations of satisfiability procedures

Cesare Tinelli, Christophe Ringeissen

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 421 KB

english, 2003

19

Preface

Cesare Tinelli, Teodor Rus

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 46 KB

english, 2003

20

Combining Non-Stably Infinite Theories

Cesare Tinelli, Calogero G. Zarba

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 925 KB

english, 2003

21

Solving quantified verification conditions using satisfiability modulo theories

Yeting Ge, Clark Barrett, Cesare Tinelli

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 604 KB

english, 2009

22

Combining Nonstably Infinite Theories

Cesare Tinelli, Calogero G. Zarba

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

23

Extracorporeal photochemotherapy in graft-versus-host disease: a longitudinal study on factors influencing the response and survival in pediatric patients

Cesare Perotti, Claudia Del Fante, Carmine Tinelli, Gianluca Viarengo, Luigia Scudeller, Marco Zecca, Franco Locatelli, Laura Salvaneschi

Journal:

Transfusion (Wiley)

Year:

2010

Language:

english

File:

PDF, 166 KB

english, 2010

24

Deciding the Word Problem in the Union of Equational Theories

Franz Baader, Cesare Tinelli

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 368 KB

english, 2002

25

Preclinical efficacy of ST1976, a novel camptothecin analog of the 7-oxyiminomethyl series

Michelandrea De Cesare, Giovanni Luca Beretta, Stella Tinelli, Valentina Benedetti, Graziella Pratesi, Sergio Penco, Sabrina Dallavalle, Lucio Merlini, Claudio Pisano, Paolo Carminati, Franco Zunino

Journal:

Biochemical Pharmacology

Year:

2007

Language:

english

File:

PDF, 642 KB

english, 2007

26

Role of tyrosyl-DNA phosphodiesterase 1 and inter-players in regulation of tumor cell sensitivity to topoisomerase I inhibition

Paola Perego, Giacomo Cossa, Stella Tinelli, Elisabetta Corna, Nives Carenini, Laura Gatti, Michelandrea De Cesare, Emilio Ciusani, Franco Zunino, Elena Luison, Silvana Canevari, Nadia Zaffaroni, Giov

Journal:

Biochemical Pharmacology

Year:

2012

Language:

english

File:

PDF, 529 KB

english, 2012

27

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Franz Baader, Silvio Ghilardi, Cesare Tinelli

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 505 KB

english, 2006

28

Model Evolution with equality — Revised and implemented

Peter Baumgartner, Björn Pelzer, Cesare Tinelli

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 478 KB

english, 2012

29

The human homolog of fission yeast Rad17 is implicated in tumor growth

Giovanni L. Beretta, Laura Gatti, Michelandrea De Cesare, Elisabetta Corna, Stella Tinelli, Nives Carenini, Franco Zunino, Paola Perego

Journal:

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

30

Daily plasma-exchange for life-threatening class I HELLP syndrome with prevalent pulmonary involvement

Claudia Del Fante, Cesare Perotti, Gianluca Viarengo, Giuseppe Sala Gallini, Carmine Tinelli, Laura Salvaneschi

Journal:

Transfusion and Apheresis Science

Year:

2006

Language:

english

File:

PDF, 125 KB

english, 2006

31

Increment of recombinant hepatitis B surface antigen-specific T-cell precursors after revaccination of slow responder children

Maria Antonietta Avanzini, Cesare Belloni, Renato Soncini, Laura Ciardelli, Annalisa de Silvestri, Angela Pistorio, Carmine Tinelli, Rita Maccario, Giorgio Rondini

Journal:

Year:

2001

Language:

english

File:

PDF, 104 KB

english, 2001

32

Early immunisation with hepatitis B vaccine: a five-year study

Cesare Belloni, Angela Pistorio, Carmine Tinelli, Jacqueline Komakec, Gaetano Chirico, Daniela Rovelli, Roberto Gulminetti, Giuditta Comolli, Paolo Orsolini, Giorgio Rondini

Journal:

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

33

Humoral Response to Recombinant Hepatitis B Virus Vaccine at Birth: Role of HLA and Beyond

Miryam Martinetti, Annalisa De Silvestri, Cesare Belloni, Annamaria Pasi, Carmine Tinelli, Angela Pistorio, Laura Salvaneschi, Giorgio Rondini, Maria Antonia Avanzini, Mariaclara Cuccia

Journal:

Clinical Immunology

Year:

2000

Language:

english

File:

PDF, 63 KB

english, 2000

34

SMT proof checking using a logical framework

Stump, Aaron, Oe, Duckki, Reynolds, Andrew, Hadarean, Liana, Tinelli, Cesare

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 920 KB

english, 2013

35

Solving SAT and SAT Modulo Theories

Nieuwenhuis, Robert, Oliveras, Albert, Tinelli, Cesare

Journal:

Journal of the ACM

Year:

2006

Language:

english

File:

PDF, 326 KB

english, 2006

36

Improved Apoptotic Cell Death in Drug-Resistant Non-Small-Cell Lung Cancer Cells by Tumor Necrosis Factor-Related Apoptosis-Inducing Ligand-Based Treatment

Gatti, L., Cossa, G., Tinelli, S., Carenini, N., Arrighetti, N., Pennati, M., Cominetti, D., De Cesare, M., Zunino, F., Zaffaroni, N., Perego, P.

Journal:

Journal of Pharmacology and Experimental Therapeutics

Year:

2014

Language:

english

File:

PDF, 1.28 MB

english, 2014

37

P6-76

Marangoni, Egidio, Lissoni, Fabio, Storti, Cesare, Longobardi, Massimo, Tinelli, Stefano, Losi, Luciano, Orlandi, Mario

Journal:

Year:

2006

Language:

english

File:

PDF, 73 KB

english, 2006

38

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques

Hagen, George, Tinelli, Cesare

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

39

Argon plasma coagulation is an effective treatment for hereditary hemorrhagic telangiectasia patients with severe nosebleeds

Pagella, Fabio, Matti, Elina, Chu, Francesco, Pusateri, Alessandro, Tinelli, Carmine, Olivieri, Carla, Canzonieri, Cecilia, Boeri, Laura, Ornati, Federica, Danesino, Cesare

Journal:

Acta Oto-Laryngologica

Year:

2013

Language:

english

File:

PDF, 263 KB

english, 2013

40

Immunomagnetic Cell Selection Performed for HLA Haploidentical Transplants with the CliniMACS Device: Effect of Additional Platelet Removal on CD34 + Cell Recovery

Fante, Claudia Del, Perotti, Cesare, Viarengo, Gianluca, Bergamaschi, Paola, Tinelli, Carmine, Bellotti, Laura, Marchesi, Andrea, Parisi, Cristina, Salvaneschi, Laura

Journal:

Stem Cells and Development

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

41

IMPLEMENTING THE MODEL EVOLUTION CALCULUS

BAUMGARTNER, PETER, FUCHS, ALEXANDER, TINELLI, CESARE

Journal:

International Journal of Artificial Intelligence Tools

Year:

2006

Language:

english

File:

PDF, 361 KB

english, 2006

42

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Finding conflicting instances of quantified formulas in SMT

Reynolds, Andrew, Tinelli, Cesare, de Moura, Leonardo

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

43

[American Institute of Aeronautics and Astronautics AIAA Infotech @ Aerospace - Kissimmee, Florida ()] AIAA Infotech @ Aerospace - Trusting Outsourced Components In Flight Critical Systems

Howar, Falk, Kahsai, Temesghen, Gurfinkel, Arie, Tinelli, Cesare

Year:

2015

Language:

english

File:

PDF, 510 KB

english, 2015

44

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 6989 || Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT

Tinelli, Cesare, Sofronie-Stokkermans, Viorica

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

45

Biological Properties of IDN5174, a New Synthetic Camptothecin with the Open Lactone Ring

Beretta, G. L., Petrangolini, G., De Cesare, M., Pratesi, G., Perego, P., Tinelli, S., Tortoreto, M., Zucchetti, M., Frapolli, R., Bello, E., Manzotti, C., Fontana, G., Bombardelli, E., Battaglia, A.,

Journal:

Cancer Research

Year:

2006

Language:

english

File:

PDF, 318 KB

english, 2006

46

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 9035 || HyComp: An SMT-Based Model Checker for Hybrid Systems

Baier, Christel, Tinelli, Cesare

Year:

2015

Language:

english

File:

PDF, 343 KB

english, 2015

47

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 9035 ||

Baier, Christel, Tinelli, Cesare

Year:

2015

Language:

english

File:

PDF, 19.20 MB

english, 2015

48

Adult Height in Patients Treated for Isolated Growth Hormone Deficiency: Role of Birth Weight

Di Cesare Merlone, Alessandra, Bozzola, Elena, Castelnovi, Claudia, Chiabotto, Patrizia, Costante, Laura, De Sanctis, Luisa, Tinelli, Carmine, Bozzola, Mauro

Journal:

Hormone Research

Year:

2005

Language:

english

File:

PDF, 80 KB

english, 2005

49

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 9035 || CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation

Baier, Christel, Tinelli, Cesare

Year:

2015

Language:

english

File:

PDF, 105 KB

english, 2015

50

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 9035 || Uppaal Stratego

Baier, Christel, Tinelli, Cesare

Year:

2015

Language:

english

File:

PDF, 227 KB

english, 2015